"Didier Bert" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

Recent Trends in Algebraic Development Techniques, 14 conf., WADT '99

Автор: Didier Bert, Автор: Christine Choppy, Автор: Peter Mosses

Категория: Cs_Computer science, CsLn_Lecture notes

Размер книги: 3.26 Mb

ZB 2002: Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings

Автор: Didier Bert, Автор: Jonathan P. Bowen, Автор: Martin C. Henson, Автор: Ken Robinson

Размер книги: 3.54 Mb

ZB 2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings

Автор: Didier Bert, Автор: Jonathan P. Bowen, Автор: Steve King, Автор: Marina Waldén

Размер книги: 4.31 Mb

B'98: Recent Advances in the Development and Use of the B Method: Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedings

Автор: Bert Didier

Размер книги: 4.19 Mb

B'98: Recent Advances in the Development and Use of the B Method: Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedings

Автор: Bert Didier

Размер книги: 4.86 Mb